$\forall$$b$:$\mathbb{N}$, $a$:$\mathbb{Z}$. $\exists$$u$,$v$:$\mathbb{Z}$. gcd\_p($a$; $b$; (($u$ $\ast$ $a$) + ($v$ $\ast$ $b$)))